len

(alias) pure function len(): integer

Deprecated

Use 'size' instead

Get the size (number of entries) of this map.

Alias

Alias target

Since

0.6.0